# This file is distributed under the BSD 3-Clause License. See LICENSE for details.

# load("@rules_cc//cc:defs.bzl", "cc_library")

# cc_library(
#     name = "pass_abc",
#     srcs = glob(
#         ["*.cpp"],
#         exclude = [
#             "dump_aig.cpp",
#         ],
#     ),
#     hdrs = glob(
#         ["*.hpp"],
#         exclude = [
#             "dump_aig.hpp",
#         ],
#     ),
#     includes = ["."],
#     visibility = ["//visibility:public"],
#     deps = [
#         "//core",
#         "//pass/common:pass",
#         "@abc",
#     ],
# )

# sh_library(
#     name = "scripts",
#     srcs = [
#         "abc_check",
#     ],
# )

# sh_test(
#     name = "abc.sh",
#     srcs = ["tests/abc.sh"],
#     data = [
#         "//inou/yosys:liblgraph_yosys.so",
#         "//inou/yosys/tests:verilog_tests",
#         "//main:lgshell",
#     ],
#     deps = [
#         "//inou/yosys:scripts",
#         # "//inou/tech:tech_gens",
#         ":scripts",
#     ],
# )
